Challenges for independence-driven and context-repair responses to the proviso problem

Abstract This note presents challenge cases for prominent pragmatic responses to the proviso problem. I offer examples of uses conditionals if $\psi,\,\phi_{P}$ ψ , ϕ P that seem commit speaker unconditionally presupposition P consequent clause ϕ , even though sentence’s predicted semantic ψ ⊃ is antecedently satisfied (contrary context-repair accounts), and independence between isn’t assumed independence-driven accounts). The provided avoid problems with other from literature used against accounts. leave matter as an unresolved satisfaction theories presupposition.